amsxtra.dtx